F0L syetem
[计] 带有限公理集的林氏无关系统
热门查询
- peninsular n. 半岛居民 adj. 半岛的；形成半岛的；半岛状的
- moonshot n. 月球探测器；对月球发射
- flutter n. 摆动；鼓翼；烦扰 vt. 拍；使焦急；使飘动 vi. 飘动；鼓翼；烦扰
- responsiveness n. 响应能力；有同情心
- desegregation n. 废止种族歧视
- Devine n. 迪瓦恩（男子名、姓氏）
- transact vt. 办理；处理 vi. 交易；谈判
- buoyant adj. 轻快的；有浮力的；上涨的
- adulate vt. 过分称赞；谄媚；奉承
- susan n. 苏珊（女子名）
- Crossland [人名] [英格兰人姓氏] 克罗斯兰住所名称，来源于中世纪英语，含义是“十字形+土地”(cross +land)
- exhibitionism n. 裸露癖；自我宣传癖；喜出风头癖
- smokestack n. 烟囱，烟窗 adj. 低技术制造业的；大工厂的
- inky adj. 漆黑的；墨水的；给墨水弄污的
- intelligibly adv. 易理解地
- luridly adv. 色彩斑斓地；骇人听闻地；大肆渲染地
- thrombophlebitis n. [内科] 血栓性静脉炎
- paneer n. 印度奶酪
- Amadeus [男子名] 阿马迪厄斯来源于拉丁语，含义是“爱+上帝”(love+God); [电影]莫扎特传
- wafer n. 圆片，晶片；薄片，干胶片；薄饼；圣饼 vt. 用干胶片封 n. (Wafer)人名；(英)韦弗
